﻿namespace Ast
open System

type Location = Lexing.Position * Lexing.Position

type SimpleCoqAST =
   | SimpleCoqAST of list<String*Location>